Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Claude Can (Sometimes) Prove It
galois.com·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
AWS Certified AI Practitioner (AIF-C01) Study Guide
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Java 25: Oracle Makes Java Easier To Learn, Ready for AI Development
thenewstack.io·43m
⚙️PL Implementation
Authorizing access to data with RAG implementations
aws.amazon.com·16m
🔐Capability Systems
Prompt analytics without the complexity (or vendor lock-in)
testune.xyz·9h·
Discuss: DEV, Hacker News
🔄Sync Engine
I have solved p=NP with proof
github.com·11h·
Discuss: Hacker News
🎯Performance Proofs
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
ChatGPT appears to improvise when put through ancient Greek math puzzle
phys.org·1d
🔲Cellular Automata
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
haskell/mtl
github.com·22h
🔗Functional Compilers
Solving Impossible Problems
aha.io·7h·
Discuss: Hacker News
⚡Proof Automation
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·7h·
Discuss: Hacker News
🌀Brotli Internals
Build AI Agents: YouTube Summarizer Agent
hackernoon.com·1d
🤖AI Curation
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·19h
🧮Kolmogorov Bounds
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·7h
💻Local LLMs
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression